IntegDom\{i\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$r$:CRng$\mid$ IsIntegDom($r$)\}